Atomic semantics

Atomic semantics
Results: 21

#	Item
21	PDF Document Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2004-12-10 03:34:14 Logic programming Propositional calculus Boolean algebra Rules of inference Stable model semantics Answer set programming Resolution Atomic formula Negation Logic Mathematical logic Mathematics